es{-}p{-}le(${\it es}$;$p$;$e$;${\it e'}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}p{-}locl(${\it es}$;$p$;$e$;${\it e'}$) $\vee$ ($e$ = ${\it e'}$ $\in$ es{-}E(${\it es}$))